A Formal Framework for Requirements Evolution
نویسنده
چکیده
This report investigates Requirements Evolution for computer-based systems. Although practitioners and researchers recognise the problem, there has been little research effort in investigating models of Requirements Evolution. This is due to lack of long term evolutionary data and models to analyse them. This report takes into account Requirements Evolution for computer-based systems and investigates models that may enhance our understanding about Requirements Evolution. The collection of identified models provides a basis for a Formal Framework for Requirements Evolution. This report and the work it describes were partially funded by a grant of the Italian National Research Council (CNR), Bando n. 203.01.72, Codice n. 03.01.04, Research Program: A Formal Framework for Requirements Evolution.
منابع مشابه
A Formal Framework for Requirements
This report investigates Requirements Evolution for computer-based systems. Although practitioners and researchers recognise the problem, there has been little research effort in investigating models of Requirements Evolution. This is due to lack of long term evolutionary data and models to analyse them. This report takes into account Requirements Evolution for computer-based systems and invest...
متن کاملA Framework for Reasoning about Requirements Evolution
We present a logical framework for modeling and reasoning about requirements evolution in the construction of information systems. We illustrate how a suuciently rich meta-level logic can formally and accurately capture intuitive ways of handling incompleteness and inconsistency in requirements and how operators that map between theories of this meta-level logic can provide a formal basis for r...
متن کاملRequirements Engineering Methods: A Classification Framework and Research Challenges
Requirements Engineering Methods (REMs) support Requirements Engineering (RE) tasks, from elicitation, through modeling and analysis, to validation and evolution of requirements. Despite the growing interest to design, validate and teach REMs, it remains unclear what components REMs should have. A classification framework for REMs is proposed. It distinguishes REMs based on the domain-independe...
متن کاملOn Schema Evolution in Multidimensional Databases1
Database systems offering a multidimensional schema on a logical level (e.g. OLAP systems) are often used in data warehouse environments. The user requirements in these dynamic application areas are subject to frequent changes. This implies frequent structural changes of the database schema. In this paper, we present a formal framework to describe evolutions of multidimensional schemas and thei...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003